($a$)$r$($c$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$b$:$\mid$$r$$\mid$. ($c$ = ($a$ ($\ast$$r$) $b$) $\in$ $\mid$$r$$\mid$)